Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 5.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 005156 | Olfa Mosbahi [France] ; Leila Jemni Ben Ayed [Tunisie] ; Jacques Jaray [France] | Formal Development Method of Automated Systems using the Temporal Logic of Actions TLA |
| 005165 | Houda Fekih [France] ; Leila Jemni Ben Ayed [Tunisie] ; Stephan Merz [France] | Transformation of B Specifications into UML Class Diagrams and State Machines |
| 005186 | Olfa Mosbahi [France] ; Jacques Jaray [France] ; Leila Jemni Ben Ayed [Tunisie] | A Formal Development Method of Control Systems using Event B Approach |
| 005909 | Olfa Mosbahi [Tunisie] ; Leila Jemni Ben Ayed [Tunisie] | Utilisation conjointe de B et TLA+ pour la modélisation et la vérification des systèmes réactifs |
| 007F32 | Olfa Mosbahi [Tunisie] ; Leila Jemni Ben Ayed [Tunisie] ; Samir Ben Ahmed [Tunisie] ; Jacques Jaray [France] | A Specification and Validation Technique Based on STATEMATE and FNLOG |
| This area was generated with Dilib version V0.6.33. |  |